6.3 Analytic proof of important properties of a Circle